es{-}vartype(${\it es}$; $i$; $x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es{-}T(${\it es}$)($i$,$x$)